 |
Your search returned 5 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1997 Volume number : 23 Issue: 04 |
An Industrial Strength Theorem Prover For A Logic Based On Common Lisp
(Article)
Subject:
Formal Verification
,
Automatic Testing
,
Computations
Author:
Matt
Kaufmann
J. S.
Moore
page:
203
-
213
Comparing Verification Systems Interactive Consistency In Acl2
(Article)
Subject:
Formal Verification
,
Theorem
,
Fault Tolerance
Author:
William H
Young
page:
214
-
223
Using A Protean Language To Enhance Expressiveness In Specification
(Article)
Subject:
Formal Methods
,
Specification
,
Verification
Author:
Bard
Bloom
Ashvin
Dsouza
Ashvin
Dsouza
page:
224
-
234
A Quantitativae Model Of The Security Intrusion Process Based On Attacker Behavior
(Article)
Subject:
Computer Security
,
Modeling
,
Metrics
,
Attack
Author:
Erland
Jonsson
Tomas
Olovsson
page:
235
-
245
Extracting Reusable Functions By Flow Graph-Based Program Slicing
(Article)
Subject:
Software Reuse
,
Reverse Engineering
,
Code Search
,
Modularization
Author:
Filippo
Lanubile
Giuseppe
Visaggio
page:
246
-
259
|
|
| | |
